Sven Skyum: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A simple algorithm for computing the smallest enclosing circle

Journal:

Information Processing Letters

Year:

1991

Language:

english

File:

PDF, 706 KB

english, 1991

2

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Reset nets between decidability and undecidability

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 681 KB

english, 1998

3

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Algorithmic verification of linear temporal logic specifications

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 832 KB

english, 1998

4

The copying power of one-state tree transducers

Joost Engelfriet, Sven Skyum

Journal:

Journal of Computer and System Sciences

Year:

1982

Language:

english

File:

PDF, 1.19 MB

english, 1982

5

On good ETOL forms

Journal:

Theoretical Computer Science

Year:

1978

Language:

english

File:

PDF, 953 KB

english, 1978

6

Dynamic maintenance of majority information in constant time per update

Gudmund S. Frandsen, Sven Skyum

Journal:

Information Processing Letters

Year:

1997

Language:

english

File:

PDF, 268 KB

english, 1997

7

Complexity of some problems concerningLsystems

Neil D. Jones, Sven Skyum

Journal:

Theory of Computing Systems

Year:

1979-1980

Language:

english

File:

PDF, 960 KB

english, 1979-1980

8

k-visit attribute grammars

Hanne Riis, Sven Skyum

Journal:

Theory of Computing Systems

Year:

1981-1982

Language:

english

File:

PDF, 619 KB

english, 1981-1982

9

Copying theorems

Joost Engelfriet, Sven Skyum

Journal:

Information Processing Letters

Year:

1976

Language:

english

File:

PDF, 805 KB

english, 1976

10

A measure in which Boolean negation is exponentially powerful

Journal:

Information Processing Letters

Year:

1983

Language:

english

File:

PDF, 312 KB

english, 1983

11

On extensions of ALGOL-like languages

Journal:

Information and Control

Year:

1974

Language:

english

File:

PDF, 571 KB

english, 1974

12

Parallel context-free languages

Journal:

Information and Control

Year:

1974

Language:

english

File:

PDF, 218 KB

english, 1974

13

Recognition of deterministic ETOL languages in logarithmic space

Neil D. Jones, Sven Skyum

Journal:

Information and Control

Year:

1977

Language:

english

File:

PDF, 213 KB

english, 1977

14

[Lecture Notes in Computer Science] Algorithm Theory — SWAT '94 Volume 824 || Dominating cliques in distance-hereditary graphs

Schmidt, Erik M., Skyum, Sven

Year:

1994

Language:

english

File:

PDF, 649 KB

english, 1994

15

Decomposition Theorems for Various Kinds of Languages Parallel in Nature

Journal:

SIAM Journal on Computing

Year:

1976

Language:

english

File:

PDF, 1.08 MB

english, 1976

16

A Note on the Complexity of General $D0L$ Membership

Jones, Neil D., Skyum, Sven

Journal:

SIAM Journal on Computing

Year:

1981

Language:

english

File:

PDF, 398 KB

english, 1981

17

[Lecture Notes in Computer Science] Algorithm Theory — SWAT '94 Volume 824 || Task scheduling in networks

Schmidt, Erik M., Skyum, Sven

Year:

1994

Language:

english

File:

PDF, 808 KB

english, 1994

18

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Structural recursive definitions in type theory

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 608 KB

english, 1998

19

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || On computing the entropy of cellular automata

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 626 KB

english, 1998

20

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Quantum counting

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 621 KB

english, 1998

21

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Deterministic polylog approximation for minimum communication spanning trees

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 571 KB

english, 1998

22

[Lecture Notes in Computer Science] Algorithm Theory — SWAT '94 Volume 824 || Improved approximations of independent sets in bounded-degree graphs

Schmidt, Erik M., Skyum, Sven

Year:

1994

Language:

english

File:

PDF, 596 KB

english, 1994

23

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Application of Lempel-Ziv encodings to the solution of word equations

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 667 KB

english, 1998

24

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Power of cooperation and multihead finite systems

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 738 KB

english, 1998

25

Dynamic word problems

Skovbjerg Frandsen, Gudmund, Miltersen, Peter Bro, Skyum, Sven

Journal:

Journal of the ACM

Year:

1997

Language:

english

File:

PDF, 319 KB

english, 1997

26

[ACM Press seventh annual ACM symposium - Albuquerque, New Mexico, United States (1975.05.05-1975.05.07)] Proceedings of seventh annual ACM symposium on Theory of computing - STOC '75 - On decomposing languages defined by parallel devices

Year:

1975

Language:

english

File:

PDF, 282 KB

english, 1975

27

Confusion in the Garden of Eden

Journal:

Proceedings of the American Mathematical Society

Year:

1975

Language:

english

File:

PDF, 171 KB

english, 1975

28

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Compact encodings of planar graphs via canonical orderings and multiple parentheses

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 762 KB

english, 1998

29

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Optimal sampling strategies in quicksort

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 585 KB

english, 1998

30

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || An efficient and unified approach to the decidability of equivalence of propositional programs

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 653 KB

english, 1998

31

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Translation validation for synchronous languages

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 607 KB

english, 1998

32

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Improved pseudorandom generators for combinatorial rectangles

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 568 KB

english, 1998

33

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Do probabilistic algorithms outperform deterministic ones?

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 152 KB

english, 1998

34

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Complete proof systems for observation congruences in finite-control π-calculus

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 556 KB

english, 1998

35

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Concurrent constraints in the fusion calculus

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 836 KB

english, 1998

36

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || A complex example of a simplifying rewrite system

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 496 KB

english, 1998

37

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Limited wavelength conversion in all-optical tree networks

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 643 KB

english, 1998

38

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || On the expressiveness of real and integer arithmetic automata

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 717 KB

english, 1998

39

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Hardness results for dynamic problems by extensions of Fredman and Saks' chronogram method

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 736 KB

english, 1998

40

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Simpler and faster dictionaries on the AC0 RAM

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 757 KB

english, 1998

41

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Geometric algorithms for robotic manipulation

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 100 KB

english, 1998

42

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Difficult configurations — on the complexity of LTrL

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 624 KB

english, 1998

43

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Static and dynamic low-congested interval routing schemes

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 700 KB

english, 1998

44

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || The regular real-time languages

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 774 KB

english, 1998

45

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Model checking game properties of multi-agent systems

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 59 KB

english, 1998

46

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || A total AC-compatible reduction ordering on higher-order terms

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 638 KB

english, 1998

47

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || On a duality between Kruskal and Dershowitz theorems

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 544 KB

english, 1998

48

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Metric semantics for true concurrent real time

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 611 KB

english, 1998

49

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || A neuroidal architecture for cognitive computation

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 1.81 MB

english, 1998

50

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Inversion of circulant matrices over Zm

Larsen, Kim G., Skyum, Sven, Winskel, Glynn

Year:

1998

Language:

english

File:

PDF, 602 KB

english, 1998